Parametric Polymorphism for Computer Algebra Software Components
نویسندگان
چکیده
This paper presents our experiments in providing mechanisms for parametric polymorphism for computer algebra software components. Specific interfaces between Aldor and C++ and between Aldor and Maple are described. We then present a general solution, Generic IDL (GIDL), an extension to CORBA IDL supporting generic types. We describe our language bindings for C++, Java 1.5 and Aldor as well as aspects of our implementation, consisting of a GIDL to IDL compiler and tools for generating interface code for the various language bindings.
منابع مشابه
Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra
Computer algebra systems, such as Axiom, and programming languages designed for computer algebra, such as Aldor, have very flexible mechanisms for generic code, with type parameterization. Modern versions of Maple can support this style of programming through the use of Maple's module system, and by using module-producing functions to give parametric type constructors. From the software design ...
متن کاملOn the Classification of Parametric Cubic Curves
We consider the question of characterizing the behavior of parametric curves whose components are cubic polynomials. When there is no chance of confusion, we will refer to such curves as cubic curves with the understanding that each of x(t) and y(t) are themselves cubic polynomials. We classify various types of parametric cubics using their defining coefficients. We show that this can be done i...
متن کاملA Theory of Parametric Polymorphism and an Application ; A formalisation of parametric polymorphism within and about dependent type-theory, and an application to property-based testing
This thesis revisits the well-known notion of parametric polymorphism in the light of modern developments in type-theory. Additionally, applications of parametric polymorphism are also presented. The first part of the thesis presents a theoretical investigation of the semantics of parametric polymorphism of and within type-theories with dependent types. It is shown how the meaning of polymorphi...
متن کاملCreating computer graphics and animations based on parametric equations of lines and curves – proposals for mathematics education at upper secondary level
Creating computer visualizations, especially animations, can help students to understand geometric objects (especially straight lines and curves), which are described by parametric equations, as point sets and to discover functional relationships and dynamic aspects. Because creating computer animations is very attractive for students it can help to motivate them to figure out features of param...
متن کاملType Specialization in Aldor
Computer algebra in scientific computation squarely faces the dilemma of natural mathematical expression versus efficiency. While higher-order programming constructs and parametric polymorphism provide a natural and expressive language for mathematical abstractions, they can come at a considerable cost. We investigate how deeply nested type constructions may be optimized to achieve performance ...
متن کامل